Formalizing Distinguishability: A Contexts
نویسنده
چکیده
We aim at formalizing the notion of distin-guishability. Intuitively, distinguishability refers to the transitions between diierent levels of detail with which diierent agents refer to the same objects. We frame our work within the notion of contexts, as a way to provide agents with local reasoning capabilities and to express their compati-bilities. We believe distinguishability plays an important role in any eeort to build or describe interaction between arbitrary agents. We show as well how the notion of distinguishability can be used by agents to state in a local way their beliefs about other agents without having to reify their formulae. Finally, after giving a generic formalization and a simple example, we show how distinguishability can be formalized within a certain logic of context.
منابع مشابه
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessa...
متن کاملDISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA
In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...
متن کاملBelief Update Using Graphs
The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using settheoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold...
متن کاملبررس پایایی رادیولوژیست ها و عملکرد آنها در تشخیص وخامت توده های تخمدان از روی سونوگرافی
Background: Intra-rater agreement in observing and decision making in diagnosis of any disease is of great importance.This investigation is to observe and read ultrasound pictures of ovarian cysts and distinguish its category for any radiologist. Distinguishability is one of the related entities in this matter and radiologists;apos ability in correct diagnosis is of great concern. In this study...
متن کاملPutting Things in Context: A Topological Approach to Mapping Contexts and Ontologies
Ontologies and contexts are complementary disciplines for modeling views. In the area of information integration, ontologies may be viewed as the outcome of a manual effort of modeling a domain, while contexts are system generated models. In this work, we aim at formalizing the inter-relationships between a manually generated ontology and automatically generated contexts. We provide a formal ma...
متن کامل